We analyze the prestige of 1,500 scholars in economics, sociology, and management who have Spanish and French institutional affiliations operationalized by their h-index in Scopus and Google Scholar. We use a negative binomial count model to examine how some individual factors affect the h-index from both databases. The results show a non-monotonic relationship between the researchers’ career length and their h-index. There is a positive and statistically significant relationship between total research output and the h-index. The share of publications in (...) English over total publications has also a positive and statistically significant effect on the h-index, except in a single case, while the share of publications in other foreign languages does not have such effect. Finally, we found that the effects of the number of citations received by documents in English and by those in the vernacular language on the h-index vary according to the database, the country, and the discipline in question. (shrink)

To understand how individuals adapt to and anticipate each other in joint tasks, we employ a bidirectional delay–coupled dynamical system that allows for mutual adaptation and anticipation. In delay–coupled systems, anticipation is achieved when one system compares its own time‐delayed behavior, which implicitly includes past information about the other system’s behavior, with the other system’s instantaneous behavior. Applied to joint music performance, the model allows each system to adapt its behavior to the dynamics of the other. Model predictions of asynchrony (...) between two simultaneously produced musical voices were compared with duet pianists’ behavior; each partner performed one voice while auditory feedback perturbations occurred at unpredictable times during live performance. As the model predicted, when auditory feedback from one musical voice was removed, the asynchrony changed: The pianist’s voice that was removed anticipated (preceded) the actions of their partner. When the auditory feedback returned and both musicians could hear each other, they rapidly returned to baseline levels of asynchrony. To understand how the pianists anticipated each other, their performances were fitted by the model to examine change in model parameters (coupling strength, time‐delay). When auditory feedback for one or both voices was removed, the fits showed the expected decrease in coupling strength and time‐delay between the systems. When feedback about the voice(s) returned, the coupling strength and time‐delay returned to baseline. These findings support the idea that when people perform actions together, they do so as a coupled bidirectional anticipatory system. (shrink)

This book collects texts from three specialists in ancient philosophy which deal with the question of perceptive and intellective knowledge in antiquity. They try to present, in their different analyzes, the complex interrelationship among perception and thought in ancient authors, like Heraclitus, Parmenides, Democritus, Plato and Aristotle. The purpose of the texts is to expose the visible field - the perceptual knowledge domain - interacts with the invisible - the domain of reason and thought. In other words, that among them (...) there is no a radical separation of these two areas, although they are clearly distinct. (shrink)

We analyze the variety of A. Monteiro’s tetravalent modal algebras under the perspective of two logic systems naturally associated to it. Taking profit of the contrapositive implication introduced by A. Figallo and P. Landini, sound and complete Hilbert-style calculi for these logics are presented.

But never let it be doubted that depression, in its extreme form, is madness. (Styron, 1990, p. 62)There is nothing wrong with our biology or our intelligence; sometimes we are just stuck. (Cvetkov...

O Brasil é o país com a maior população católica. A evolução de variáveis socioeconômicas na década de 1990, aí incluindo casamentos, fertilidade, renda, moradia entre outras, revelam que nenhuma mudou tanto quanto a composição religiosa da população brasileira. O Censo é a base de dados mais usada nos estudos no tema, porém, as estatísticas estão hoje paradas no Censo 2000. A Pesquisa de Orçamentos Familiares 2009 – POF/IBGE permite medir a religiosidade brasileira recente detalhando subgrupos religiosos com classificação comparável (...) a do Censo e possibilidade de cruzamentos com uma gama maior de variáveis. Este estudo processa microdados da POF de 2003 e 2009, quando o contexto econômico difere das décadas anteriores, permitindo estudar as relações entre economia e religiosidade num contexto de expansão. Mostramos que: i) há velocidade de queda do catolicismo dez vezes mais rápida do que a observada entre 1872 e 1980, mas similar à dos anos 1990, embora as novas filiações sejam não apenas nos grupos evangélicos pentecostais, mas mais nos protestantes tradicionais; ii) ao contrário dos países europeus mais católicos que vivem contração econômica (PIIGS), as localidades brasileiras mais católicas vivem expansão mais forte que as demais; iii) os brasileiros se mostram na mediana de frequência a cultos religiosos em 150 países; iv) as mulheres, embora mais religiosas que os homens, tornaram-se menos católicas; v) os jovens mostram uma fuga mais acelerada do catolicismo. Palavras-chave: Religião. Economia. Max Weber. Mapa das Religiões no Brasil.Brazil is the country with the biggest Catholic population in the world. The evolution of socio-economic variables during the 1990s such as marriage, fertility, incomes, housing among others, revealed that no other variable changed as much as the religious composition of Brazilian population. Demographic Census is the mostly widely used survey in religious studies. However, these statistics are today only available until 2000. Microdata from national Family Expenditure Surveys (POF/IBGE) allow us to measure the recent Brazilian religious evolution by detailing religious subgroups and also by exploring a richer array of correlated variables. This study processes microdata from POF in 2003 and 2009 when the economic context differs from the previous decades. It allows us to study the relation between economy and religion during a boom. This article aims to show that: i) The speed of the fall in Catholicism in Brazil is two times faster than the one observed in 1990, although similar to the one observed in the 1990s; the destinies of the Catholics however are less the Pentecostal Evangelicals and more the Traditional Protestants. ii) In contrast to major European Catholic countries that are facing a recession, the Brazilian localities with a catholic population have experienced an economic expansion. iii) Brazilians are on the World median in terms of attendance to religious activities. iv) Although females are more religious than males, they are less catholic. v) There is a faster reduction of Catholics among the youth in Brazil. Key words: Religion. Economy. Max Weber. Maps of Religions in Brazil. (shrink)

It happened to me one day to say that Cartesianism, in what good it has, was only the anteroom of true philosophy. A person in the company, who frequented the court, was well read, and even had ideas about science, pressed the figure into an allegory-maybe a little too far. For, he asked me whether I didn’t think that one could say, along the same line, that the ancients led us up the staircase, that the modem school had arrived at (...) the guards’ room, and that, if the innovators of our century had managed to reach the anteroom, he wished me the honor of introducing us into Nature’s sanctum. This parallel made us all laugh, and I told him, “You see, Sir, your comparison has rejoiced the company. But you forgot that between the anteroom and the sanctum there is the audience chamber, and that it will be enough if we obtain audience, without purporting to penetrate in the inner sanctum” (VE, p. 1867). (shrink)

It happened to me one day to say that Cartesianism, in what good it has, was only the anteroom of true philosophy. A person in the company, who frequented the court, was well read, and even had ideas about science, pressed the figure into an allegory-maybe a little too far. For, he asked me whether I didn’t think that one could say, along the same line, that the ancients led us up the staircase, that the modem school had arrived at (...) the guards’ room, and that, if the innovators of our century had managed to reach the anteroom, he wished me the honor of introducing us into Nature’s sanctum. This parallel made us all laugh, and I told him, “You see, Sir, your comparison has rejoiced the company. But you forgot that between the anteroom and the sanctum there is the audience chamber, and that it will be enough if we obtain audience, without purporting to penetrate in the inner sanctum” (VE, p. 1867). (shrink)

Tetravalent modal logic (TML) was introduced by Font and Rius in 2000. It is an expansion of the Belnap-Dunn four-valued logic FOUR, a logical system that is well-known for the many applications found in several fields. Besides, TML is the logic that preserves degrees of truth with respect to Monteiro’s tetravalent modal algebras. Among other things, Font and Rius showed that TML has a strongly adequate sequent system, but unfortunately this system does not enjoy the cut-elimination property. However, in a (...) previous work we presented a sequent system for TML with the cut-elimination property. Besides, in this same work, it was also presented a sound and complete natural deduction system for this logic. In the present article we continue with the study of TML under a proof-theoretic perspective. In the first place, we show that the natural deduction system that we introduced before admits a normalization theorem. In the second place, taking advantage of the contrapositive implication for the tetravalent modal algebras introduced by A. V. Figallo and P. Landini, we define a decidable tableau system adequate to check validity in the logic TML. Finally, we provide a sound and complete tableau system for TML in the original language. These two tableau systems constitute new (proof-theoretic) decision procedures for checking validity in the variety of tetravalent modal algebras. (shrink)

A tendência de uma sociologia do catolicismo contemporâneo no país nestes últimos anos foi de reduzi-lo a uma instituição política e social movida por interesses de poder no campo religioso e no espaço público, dispensando a mediação de sua cosmologia como pano de fundo de sua atuação. A partir do livro pioneiro de Roberto Romano (1976) que resgata o papel da cosmologia católica na sua intervenção pública, e seguindo os estudos de Sanchis (1994) e Steil (1996) que chamam a atenção (...) para o seu perfil de “estrutura de longa duração” que se (re)combina com os estilos das épocas que atravessa, a intenção deste texto é detectar numa hermenêutica de aspectos cruciais da Teologia católica e em dimensões estruturais de sua configuração, condutas e comportamentos pelo qual o catolicismo se faz presente na modernidade. Neste particular, a cosmologia não vai engendrar um comportamento holista-tradicional mas vai expressar-se traduzida para os códigos contemporâneos seja do individualismo, da subjetividade, da cultura psi, da auto-ajuda e da expresividade emocional e corporal. Palavras chave : Catolicismo. Cosmologia. Modernidade.: The trend in contemporary sociology of Catholicism in Brazil has been to reduce Catholicism to a political and social institution moved by the interests of power in religious as well as public spheres, ignoring the intervening role of its cosmology as a background for its actions and postures. The article takes as a starting point Roberto Romano’s (1976) pioneer work in the field, where the author reinstates the role of catholic cosmology in processes of institutional public intervention. It has equally drawn inspiration from Sanchis (1994) and Steil’s (1996) studies stressing on Catholicism’s institutional profile as a ‘structure of long duration’ that interacts with the various ways of living of different times and spaces. Accordingly, the main goal of the article is to identify in a hermeneutics of crucial aspects of Catholic theology and in structural dimensions of its configuration, the attitudes and behaviors that inform Catholicism’s presence in modernity. In this way, cosmology doesn’t underpins any traditional holistic behavior but finds expression in translations of contemporary codes like those of individualism, subjectivity, psy culture, self-help and emotional and bodily expressions. Key-words : Catholicism. Cosmology. Modernity. (shrink)

Resumen El artículo recuerda El Concilio Vaticano II a partir del ecumenismo. Trata del ambiente anterior al Concilio que hizo posible nuevas relaciones ecuménicas. Indica los debates del periodo conciliar relativos a la misión de la Iglesia ante el mundo, a la libertad religiosa y a la relación de la Iglesia con las otras Iglesias, y con otras religiones, debates importantes en la redacción de varios documentos conciliares como Lumem Gentium, Dei Verbum, Dignitatis Humanae, Nostra Aetate e Unitatis Redintegratio. Paralelamente (...) a los pasos ecuménicos alcanzados por el Concilio, el artículo destaca tres reacciones: (i) El nacimiento de una Iglesia latinoamericana cuyo rostro se presenta en las positivas respuestas de las Conferencias del Episcopado latinoamericano, en la efectiva construcción de una Iglesia “pueblo de Dios” y en el “ecumenismo social”; (ii) La posterior “restauración eclesiocéntrica”, marcada por la rigidez doctrinal y disciplinar del ambiente católico; (iii) La esperanza de un nuevo proceso conciliar, iluminado por la perspectiva liberadora propiciada por el Vaticano II, en el contexto de un mundo diversificado y pluralista. Palabras clave: Concilio Vaticano II. Ecumenismo. CELAM. PluralismoThe article addresses the Second Vatican Council under the focus of ecumenism. In this way, the article mentions the climate, prior to the Council that made possible new ecumenical relations. The text also points out the debates that took place at the time of the Council, especially those connected with the mission of the Church, the freedom of religion, and the relationship of the Church with the other Churches and with other religions. Among others, the article mentions the following documents: Lumen Gentium, Dei Verbum, Dignitatis Humanae, Nostra Aetate and Unitatis Redintegratio. In correlation to the ecumenical steps reached by the Council, the article highlights three reactions: (i) The birth of a Latin American Church, whose face shows up in the positive answers of the Conferences of the Latin American Episcopate, in the effective construction of a Church understood as “People of god” and in “Social Ecumenism”; (ii) The subsequent ecclesiocentric restoration, marked by doctrinal and disciplinal rigidity within catholic environment; (iii) To hope of a new Conciliar process, illuminated by a liberator perspective favored by the Vatican II, in the context of a diversified and pluralist world. Keywords: Vatican Council II. Ecumenism. CELAM. Pluralism. - DOI: 10.5752/P.2175-5841.2011v9n24p1221. (shrink)

O artigo procura fornecer elementos para uma leitura positiva do atual fenômeno de folclorização do religioso. A folclorização evocaria uma dupla laicidade, que se coloca dialeticamente quanto à institucionalidade religiosa e independente no tocante à verticalidade dos saberes especializados e seus procedimentos metodológicos, numa perspectiva que se pretende pós-metafísica e democrática. Faz-se, de início, uma síntese atual sobre a relação entre secularização e religiosidade para ilustrá-la com o relato de experiências religiosas específicas, todas anglicanas e localizadas na sociedade estadunidense; além (...) de um estudo sobre a recepção estadunidense ao filme "A Última Tentação de Cristo". Depois, a partir de algumas observações de Althaus-Reid sobre a Teologia da Libertação, o artigo analisa o conceito de "inculturação". Graças à sua volatilidade, o conceito antropológico de "folclorização", enfim, é proposto como uma maneira ampla e flexível de se abordar o pluralismo religioso em contexto (pós) secular ante uma crescente e inexorável influência da "indústria cultural". Palavras-chave : Folclorização; Pós-metafísica; Democracia; (Pós) secularização; Pluralismo ReligiosoThe attempts searched to provide elements for a positive reading of the current phenomenon of religious folklorization. Folklorization would suggest a double laity, which arises dialectically by religious institutionalism and independent from verticality of specialized knowledge and its methodological procedures, which would be a post-metaphysics and democratic perspective. First of all, it creates a synthesis upon the relationship between secularization and religion to illustrate it with a retake of specific religious experiences, every one Episcopalian and located in American society, including a study of the U. S. reception of the film, "The Last Temptation of Christ". Next, from some observations by Althaus-Reid on Liberation Theology, the paper analyzes the concept of "inculturation". Because of its volatility, the anthropological concept of "folklorization", finally, is proposed as an extended and flexible way to focus religious plurality in a (post)secular context in an increasing and inexorable influence of "cultural industries". Key words : Folklorization; Post-metaphysics; Democracy, (Post) secularization; Religious Pluralism. (shrink)

Cuando nos enfrentamos a una obra de autor normalmente queremos adjudicarnos la propiedad física de la misma, ya sea porque quien escribe representa un referente en las temáticas definidas o porque la denominación o título provoca una especie de comezón cognitiva, y hacer caso omiso de ella, podría provocarnos un colapso por privación de pertenencia. Sea cual fuera el caso, la obra de Raúl González se inscribe en una especie de síntesis de las dos situaciones antes expresadas. Es uno de (...) esos .. (shrink)

En el siguiente estudio se evalúa un panorama con respecto al comportamiento sociológico en un preámbulo tanto antes durante y después de esta crisis social que se está viviendo debido a la pandemia de hoy en día. Por ello para sustentar dicha investigación se realizó un censo en el cuál, mediante el uso de herramientas estadísticas, se pudo realizar una comparación entre un antes y un durante de la pandemia, lo cual facilitaría intrínsicamente a la predicción de una denominada post (...) pandemia. En este texto se pretende detallar el proceso y forma de la encuesta, al igual que los resultados obtenidos de la misma. Se proveen, además, posibles explicaciones para estos resultados, guiándose por las restricciones de salud nacionales como posibles razones para el cambio de comportamiento actual. Palabras Clave: coronavirus, pandemia, frecuencia de salida. Referencias [1]P. Byass, «Eco-epidemiological assessment of the COVID-19 epidemic in China, January-February 2020,» Web Of Science, vol. 13, nº 1, 2020. [2]P. Stefanoni, «Brasil: pandemia, guerra cultural y precariedad,» Nueva Sociedad, pp. 49-59, 2020. [3]M. J. Báguena Cervellera, «La pandemia de COVID-19 a la luz de la historia de la medicina,» Investigación y Ciencia, 2020. [4]A. Levy, «La pandemia de COVID-19 podr{ia ayudar a resolver una gran incógnita climática,» Investigación y Ciencia, 2020. [5]T. Marcel Ariel, «Relaciones en tiempos de pandemia: COVID-19 y bienestar animal, ambiental y humano,» Revista Facultad Nacional De Agronomia Medellin, vol. 2, 2020. [6]F. Manrique-Abril, «Modelo SIR de la pandemia de Covid-19 en Colombia/SIR model of the COVID-19 pandemic in Colombia,» Revista De Salúd Publica, vol. 22, pp. 1-6, 2020. [7]D. Arango-Londoño, «Predicciones de un modelo SEIR para casos de COVID-19 en Cali, Colombia/Predictions of a SEIR model for COVID-19 cases in Cali-Colombia,» Revista De Salúd Publica, vol. 22, nº 2, pp. 1-9, 2020. [8]J. Gonzales-Castillo, «Pandemia de la COVID-19 y las Políticas de Salud Pública en el Perú: marzo-mayo 2020/COVID-19 pandemic and Public Health Policies in Peru: March-May 2020,» Revista De Salúd Publica, vol. 22, nº2, pp. 1-9, 2020. [9]A. Valenzuela-Cazés y L. Becerra-Ostos, «Práctica clínica, ámbito laboral y riesgos de la fisioterapia ante el COVID-19/Clinical practice, work and risks of physical therapy in the face of COVID-19,» Revista De Salúd Publica, vol. 22, nº 2, pp. 1-4, 2020. [10]P. Montes-Alarcón y A. Campo-Arias, «Los médicos generales y la salud mental en la pandemia por COVID-19,» Duazary, vol. 17, nº 3, pp. 4-6, 2020. (shrink)

The Full Bayesian Significance Test (FBST) for precise hypotheses is presented, with some applications relevant to reliability theory. The FBST is an alternative to significance tests or, equivalently, to p-ualue.s. In the FBST we compute the evidence of the precise hypothesis. This evidence is the probability of the complement of a credible set "tangent" to the sub-manifold (of the para,rreter space) that defines the null hypothesis. We use the FBST in an application requiring a quality control of used components, based (...) on remaining life statistics. (shrink)

Em meados do século XIX, a moderna Psiquiatria e o Espiritismo estavam se formando e divergiam sobre a etiologia espiritual das doenças mentais e sobre se práticas mediúnicas seriam uma grande causa de alienação mental (“Loucura espírita”). Este artigo investiga os argumentos de médicos europeus e as reações de Allan Kardec sobre esses dois temas. Como fontes primárias, analisamos publicações médicas europeias (de 1858 a 1936), escritos de Kardec e realizamos um estudo de caso sobre os “Possessos de Morzine”. Os (...) médicos negavam causas espirituais das doenças mentais e consideravam a mediunidade um produto de fraude ou de atividade cerebral, cuja prática seria uma grande causa de alienação mental. Kardec questionava a qualidade dos diagnósticos e das estatísticas de casos de “Loucura espírita”. Defendia que, além das causas biopsicossociais da loucura, as obsessões espirituais seriam uma causa complementar. As evidências seriam capacidades anômalas exibidas pelos doentes (p.ex. falar línguas que desconheciam, mostrar conhecimentos de fatos à distância, etc.) e a eficácia da desobsessão, mesmo que realizada à distância do paciente. O conflito foi diminuindo à medida que a Psiquiatria foi se legitimando no domínio do campo científico e o Espiritismo no religioso. (shrink)

Open peer commentary on the article “The Autopoiesis of Social Systems and its Criticisms” by Hugo Cadenas & Marcelo Arnold. Upshot: I argue in favor of not eliminating humans from social theory. My argumentation is based on the “mechanistic” perspective that emerged in the interdisciplinary context of systems theory but that is lacking in Luhmann’s work. Based on defining communication in the constructivist-mechanist tradition, I claim that research on human universals contributes to solving the constructivist problem of how understanding (...) among individuals is possible. I also argue against the author’s critique of an “utilitarian” approach and for maintaining the individual and social level in systems theory. Finally, I address the observer-problem in Luhmann’s theory. (shrink)

Tradução de correspondências trocadas entre Descartes e Elisabeth no ano de 1643, nas quais discutem a tese cartesiana da alma como imaterial e inextensa. [Trad. Marcelo Fischborn].

Como muy bien lo dice el autor, su interesante libro fue fruto de una discusión a mitad del camino del último gobierno de 6 años que, en la multiplicidad de ensayos institucionales postdictadura, ha tenido el país: el de Ricardo Lagos. Este es un tema de debate en todos los países que han adoptado un sistema económico de más o menos libre mercado, y no lo es en los demás porque en ellos no se discute lo que sus gobiernos hacen.Finalmente, (...) como se recordará, dicho período presidencial concluy.. (shrink)

Controversy: Reading. Darwin. Through. Dascalian. Eyes. Anna Carolina K.P. Regner Abstract Marcelo Dascal has ... In the present text, I explore the impact of his approach on the analysis of Charles Darwin's 'one long argument', as Darwin calls his theory of the origin of species. ... Perspectives on Theory of Controversies and the Ethics of Communication, Logic, Argumentation & Reasoning 2, DOI ...

No cinema brasileiro recente, o diálogo entre o documentário e a ficção tem merecido destaque, com produções de baixo orçamento e ideias originais. É o caso de Santiago (João Moreira Salles, 2007) e Viajo Porque Preciso, Volto Porque Te Amo (Marcelo Gomes, Karim Aïnouz, 2009), filmes que trabalham esse diálogo de forma sutil e diegética, ressignificando imagens de um arquivo próprio, pessoal.

O manuscrito clandestino Jordanus Brunus redivivus ou Traité des erreurs populaires foi publicado em 1771, não trazendo indicação alguma de sua autoria. Entretanto, a despeito do anonimato da obra, ela tornou-se um dos textos mais famosos dentre a filosofia clandestina do século XVIII, aludindo a um filósofo que foi uma das maiores vítimas da superstição e do fanatismo de sua época: Giordano Bruno. O título do escrito é uma espécie de homenagem ao pensador italiano, mas não há no decorrer da (...) obra uma menção sequer que comprove que o autor anônimo tenha lido uma linha de suas obras, mesmo que seja considerado o elo filosófico de união entre o brunismo da primeira metade do século XVII e o da segunda metade do século XVIII. É em um encadeamento de ideias progressivo no Jordanus Brunus que nos permite encontrar o fio condutor das reflexões do autor: a sua formulação do ateísmo caracteriza-se por sua abordagem não dogmática, dissimulada, preparando o solo para o racionalismo ateu que estaria por vir. O presente artigo limitar-se-á à terceira e quarta partes do manuscrito, nas quais o autor anônimo vai tratar diretamente da questão da existência de deus e fazer diversas objeções às provas de sua existência. (shrink)

In this paper I offer a characterization of the intellectual virtue of social inquisitiveness, paying attention to its difference from the individual virtue of inquisitiveness. I defend that there is a significant distinction between individual and social epistemic virtues: individual epistemic virtues are attributed to individuals and assessed by the quality of their cognitive powers, while social epistemic virtues are attributed to epistemic communities and are assessed by the quality of the epistemic relations within the communities. I begin presenting Lani (...) Watson's characterization of the (individual) practice of questioning and its related intellectual virtue, inquisitiveness. While she does not employ normative language, I show that her description can be constructed through four norms. Then, based on an account of epistemic communities, I defend that, while epistemic virtues attributable to individuals have norms regulating cognitive powers, epistemic virtues attributable to epistemic communities have norms regulating social epistemic interactions and shared epistemic responsibility. I then present a robust characterization of the epistemic virtue of social inquisitiveness through its social epistemic norms: DISTRIBUTION, ACCESSIBILITY, SOCIAL SINCERITY, SOCIAL CONTEXT, and FREQUENCY. I respond to two possible objections to my account and conclude by offering suggestions to broaden the scope of the epistemology of questioning. (shrink)

Donald Davidson’s anomalous monism has been repeatedly criticized since its initial defense in the paper Mental Events, which was published in 1970. Despite the widespread rejection, there seems to be no agreement on why anomalous monism fails. This paper systematizes two strong objections to anomalous monism. First, Davidson’s argument for monism requires the problematic assumption that physics can provide strict causal laws for causal relations in general. Second, Davidson’s monism requires an ontology of events for which no satisfactory criterion of (...) identity has been provided. Despite these problems, the paper argues that the theses on the anomalism and irreducibility of the mental remain acceptable, despite the difficulty of reconstructing precisely the arguments Davidson uses to defend them. (shrink)

Multialgebras have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several Logics of Formal Inconsistency that cannot be semantically characterized by a single finite matrix. In particular, these LFIs are not algebraizable by the standard tools of abstract algebraic logic. In this paper, the first steps towards a theory of non-deterministic algebraization of logics by swap structures are given. Specifically, (...) a formal study of swap structures for LFIs is developed, by adapting concepts of universal algebra to multialgebras in a suitable way. A decomposition theorem similar to Birkhoff’s representation theorem is obtained for each class of swap structures. Moreover, when applied to the 3-valued algebraizable logics J3 and Ciore, their classes of algebraic models are retrieved, and the swap structures semantics become twist structures semantics. This fact, together with the existence of a functor from the category of Boolean algebras to the category of swap structures for each LFI, suggests that swap structures can be seen as non-deterministic twist structures. This opens new avenues for dealing with non-algebraizable logics by the more general methodology of multialgebraic semantics. (shrink)

Despite being fairly powerful, finite non-deterministic matrices are unable to characterize some logics of formal inconsistency, such as those found between mbCcl and Cila. In order to overcome this limitation, we propose here restricted non-deterministic matrices (in short, RNmatrices), which are non-deterministic algebras together with a subset of the set of valuations. This allows us to characterize not only mbCcl and Cila (which is equivalent, up to language, to da Costa's logic C_1) but the whole hierarchy of da Costa's calculi (...) C_n. This produces a novel decision procedure for these logics. Moreover, we show that the RNmatrix semantics proposed here induces naturally a labelled tableau system for each C_n, which constitutes another decision procedure for these logics. This new semantics allows us to conceive da Costa's hierarchy of C-systems as a family of (non deterministically) (n+2)-valued logics, where n is the number of "inconsistently true" truth-values and 2 is the number of "classical" or "consistent" truth-values, for every C_n. (shrink)

Judging a person as morally responsible involves believing that certain responses (such as punishment, reward, or expressions of blame or praise) can be justifiably directed at the person. This paper develops an account of the evolution of moral responsibility judgment that adopts Michael Tomasello’s two-step theory of the evolution of morality and borrows also from Christopher Boehm’s work. The main hypothesis defended is that moral responsibility judgment originally evolved as an adaptation that enabled groups of cooperative individuals to hold free (...) riders responsible more safely by acting in a coordinated way. (shrink)

The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The case of QmbC, (...) the simpler quantified LFI expanding classical logic, will be analyzed in detail. An axiomatic extension of QmbC called QLFI1o is also studied, which is equivalent to the quantified version of da Costa and D'Ottaviano 3-valued logic J3. The semantical structures for this logic turn out to be Tarkian structures based on twist structures. The expansion of QmbC and QLFI1o with a standard equality predicate is also considered. (shrink)

In 1988, J. Ivlev proposed some (non-normal) modal systems which are semantically characterized by four-valued non-deterministic matrices in the sense of A. Avron and I. Lev. Swap structures are multialgebras (a.k.a. hyperalgebras) of a special kind, which were introduced in 2016 by W. Carnielli and M. Coniglio in order to give a non-deterministic semantical account for several paraconsistent logics known as logics of formal inconsistency, which are not algebraizable by means of the standard techniques. Each swap structure induces naturally a (...) non-deterministic matrix. The aim of this paper is to obtain a swap structures semantics for some Ivlev-like modal systems proposed in 2015 by M. Coniglio, L. Fariñas del Cerro and N. Peron. Completeness results will be stated by means of the notion of Lindenbaum–Tarski swap structures, which constitute a natural generalization to multialgebras of the concept of Lindenbaum–Tarski algebras. (shrink)

O presente trabalho procura se debruçar sobre a dimensão ontológica do homem animal-político-social em Aristóteles. Logo, desde já nos cabe ressaltar que a verificação do homem enquanto animal político-social abarcará um caráter metafísico para a efetivação no e do físico-material-natural, ou seja, o ser biopsicossocial. Refletindo, construindo e interligando o ser físico e “espiritual”. Portanto, o objeto principal será o que diz respeito ao homem como um animal político-social, no sentido ontológico do ser sensível em Aristóteles. Para tanto, a proposta (...) abarcará a Teoria das Quatro Causas de Aristóteles. Isso para demonstrar certa ontologia de uma suposta essência da ou na substancia no e do ser humano. Ou seja, quem é o “homem-ser-ente” coberto por sua estrutura física e sensível no sentido ontológico no corporal? São os seres humanos animais essencialmente políticos? E se forem são seres políticos do e ou no “espiritual”, “almático” e metafísico ou no físico-corporal? (shrink)

In 1986, Mikenberg et al. introduced the semantic notion of quasi-truth defined by means of partial structures. In such structures, the predicates are seen as triples of pairwise disjoint sets: the set of tuples which satisfies, does not satisfy and can satisfy or not the predicate, respectively. The syntactical counterpart of the logic of partial truth is a rather complicated first-order modal logic. In the present article, the notion of predicates as triples is recursively extended, in a natural way, to (...) any complex formula of the first-order object language. From this, a new definition of quasi-truth is obtained. The proof-theoretic counterpart of the new semantics is a first-order paraconsistent logic whose propositional base is a 3-valued logic belonging to hierarchy of paraconsistent logics known as Logics of Formal Inconsistency, which was proposed by Carnielli and Marcos in 2002. (shrink)

Suszko's Thesis maintains that many-valued logics do not exist at all. In order to support it, R. Suszko offered a method for providing any structural abstract logic with a complete set of bivaluations. G. Malinowski challenged Suszko's Thesis by constructing a new class of logics (called q-logics by him) for which Suszko's method fails. He argued that the key for logical two-valuedness was the "bivalent" partition of the Lindenbaum bundle associated with all structural abstract logics, while his q-logics were generated (...) by "trivalent" matrices. This paper will show that contrary to these intuitions, logical two-valuedness has more to do with the geometrical properties of the deduction relation of a logical structure than with the algebraic properties embedded on it. (shrink)